📝 Parser Combinators - hello · Scour

Multi-Objective Hierarchical Optimization with Large Language Models

arxiv.org·15h

🌳Tree-sitter

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·4h·

Discuss: Hacker News

🪢Rope Data Structure

Constraints Not Loops: Building Features in Reverse

coey.dev·20h

🎯Hindley-Milner

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

💬Prompt Engineering

Rust async combinators for elegant and secure concurrency

kerkour.com·14h·

Discuss: r/rust

GNU C Language Manual

gnu.org·1h

🔨Compiler Design

abelianization of an additive category in nLab

ncatlab.org·4h

∘Category Theory

New comment by pessimizer in "Nanolang: A tiny experimental language designed to be targeted by coding LLMs"

news.ycombinator.com·1d·

Discuss: Hacker News

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·21h

📊HyperLogLog

Iterative multi-word anagram solver

boulter.com·22h

🔤Suffix Automata

Why not tail recursion?

futhark-lang.org·1d·

Discuss: Lobsters, Hacker News

🔁eBPF Tail Calls

dev.to·8h·

Discuss: DEV

🔤Language Design

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

arxiv.org·15h

🌳Tree-sitter

**Abstract:** This paper introduces a novel approach to compositional resolution within constructive arithmetic, termed Syntactic Resonance Networks (SRN). A...

freederia.com·2d

🧮SMT Solvers

Subterms Modulo Theories I

philipzucker.com·2d

🔍Type Inference

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·8h

🔬Static Analysis

Dealing with alternatives

jemarch.net·1d

🏷️Pointer Tagging

Making an LSP for great good

thunderseethe.dev·20h·

Discuss: Lobsters, Hacker News

How Does ChatGPT Work? A Guide for the Rest of Us

producttalk.org

·6h

💬Prompt Engineering

Noun phrases are vague

ijo.la·14h

Loading more...